Dedekind's Real Numbers
نویسنده
چکیده
Richard Dedekind's characterization of the real numbers as the system of cuts of rational numbers is by now the standard in almost every mathematical book on analysis or number theory. In the philosophy of mathematics Dedekind is given credit for this achievement, but his more general views are discussed very rarely and only superrcially. For example, Leo Corry, who dedicates a whole chapter of his Modern Algebra and the Rise of Mathematical Structures (1996) writes: \Dedekind deened the system of the real numbers as the collection of all cuts of rationals" (Corry, 1996 ] , p. 73). In this paper I will present Dedekind's own views of his \deenition" and \cre-ation" of the real numbers, and elucidate what he meant by saying that the real numbers \correspond" to the cuts. The upshot of this discussion will be that Corry's statement will be revealed as an obvious, but not uncommon (cf. Landau, 1917 ] , p. 55: \And every such cut, that corresponds to no rational number, deenes an irrational number" (my translation); Weyl, 1919 ] , p. 111: \if we, along with Dedekind, conceive of a real number as a (specially constituted) set of rational numbers"; Maddy, 1992 ] , p. 81: \by identifying real numbers with certain sets (called`Dedekind-cuts'), Dedekind. .. ") misinterpretation.
منابع مشابه
Constructing the real numbers in HOL
This paper describes a construction of the real numbers in the HOL theorem-prover by strictly deenitional means using a version of Dedekind's method. It also outlines the theory of mathematical analysis that has been built on top of it and discusses current and potential applications in veriication and computer algebra. 1 The real numbers For some mathematical tasks, the natural numbers N = f0;...
متن کاملSome properties of fuzzy real numbers
In the mathematical analysis, there are some theorems and definitions that established for both real and fuzzy numbers. In this study, we try to prove Bernoulli's inequality in fuzzy real numbers with some of its applications. Also, we prove two other theorems in fuzzy real numbers which are proved before, for real numbers.
متن کاملA Partition Calculus in Set Theory P. Erdös and R. Rado
1 . Introduction . Dedekind's pigeon-hole principle, also known as the box argument or the chest of drawers argument (Schubfachprinzip) can be described, rather vaguely, as follows . If sufficiently many objects are distributed over not too many classes, then at least one class contains many of these objects . In 1930 F. P. Ramsey [12] discovered a remarkable extension of this principle which, ...
متن کامل